Tool Support for Formal Design
نویسنده
چکیده
In this article we present a tool for the formal deenition and application of design patterns that is both process-and reuse-oriented. A formal model for design patterns allows us to unambiguously specify the steps in pattern instantiation. The model is based on Abstract Data Views and divides designs into both objects and views in order to maintain a separation of concerns. This formalism also provides a foundation for both tool support and code generation.
منابع مشابه
Tools for the Governance of Urban Design: The Tehran Experience
This research seeks to reflect the managerial, academic and professional experience of the authors in the design and implementation process of urban design projects, aiming to use the application of the “design governance” model, in order to describe the documents and activities of the Department of Urban Planning and Architecture of Tehran Municipality in the last decade. This paper consists ...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995